Network Rewriting II: Bi- and Hopf Algebras

نویسنده

  • Lars Hellström
چکیده

Bialgebras and their specialisation Hopf algebras are algebraic structures that challenge traditional mathematical notation, in that they sport two core operations that defy the basic functional paradigm of taking zero or more operands as input and producing one result as output. On the other hand, these peculiarities do not prevent studying them using rewriting techniques, if one works within an appropriate network formalism. This paper restates the traditional axioms as rewriting systems, demonstrating confluence in the case of bialgebras and finding the (infinite) completion in the case of Hopf algebras. A noteworthy minor problem solved along the way is that of constructing a quasi-order with respect to which the rules are compatible.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adjunctions between Hom and Tensor as endofunctors of (bi-) module category of comodule algebras over a quasi-Hopf algebra.

For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor endofunctors V k - and - kV are left adjoint to some kinds of  Hom-endofunctors of _HM. The units and counits of these adjunctions are formally trivial as in the classical case.The category of (bi-) modules over a quasi-Hopf algebra is monoidal and some generalized versions of  Hom-tensor relations have been st...

متن کامل

NOTES ON REGULAR MULTIPLIER HOPF ALGEBRAS

In this paper, we associate canonically a precyclic mod- ule to a regular multiplier Hopf algebra endowed with a group-like projection and a modular pair in involution satisfying certain con- dition

متن کامل

Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems

Rewriting with non-symmetric relations can be considered as a computational model of many specification languages based on nonsymmetric relations. For instance, Logics of Inequalities, Ordered Algebras, Rewriting Logic, Order-Sorted Algebras, Subset Logic, Unified Algebras, taxonomies, subtypes, Refinement Calculus, all them use some kind of non-symmetric relation on expressions. We have develo...

متن کامل

Gorenstein global dimensions for Hopf algebra actions

Let $H$ be a Hopf algebra and $A$ an $H$-bimodule algebra‎. ‎In this paper‎, ‎we investigate Gorenstein global dimensions for Hopf‎ ‎algebras and twisted smash product algebras $Astar H$‎. ‎Results from‎ ‎the literature are generalized‎. 

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015